Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

Refinement Types for TypeScript
Refinement Types for TypeScript
by kittie-lecroy
Panagiotis Vekris. Benjamin Cosman R...
Refinement
Refinement
by liane-varnes
Types. for. TypeScript. Panagiotis Vekris. ...
High-Performing
High-Performing
by tawny-fly
JavaScript . for . Modern Engines. Amanda Silver...
Theory of Compilation Lecture 07 – attribute grammars + intro to IR
Theory of Compilation Lecture 07 – attribute grammars + intro to IR
by studyne
Eran. . Yahav. 1. 2. You are here. Executable . c...
Typing Local Control and State Using Flow Analysis
Typing Local Control and State Using Flow Analysis
by alexa-scheidler
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnam...
Web Technologies
Web Technologies
by stefany-barnette
Lecture 7. Synchronous vs. asynchronous. Motivati...
Introduction to JavaScript
Introduction to JavaScript
by cheryl-pisano
Svetlin Nakov. Telerik Corporation. www.telerik.c...
ADIOS Tutorial
ADIOS Tutorial
by giovanna-bartolotta
SciDAC 2008. 6/19/2008. http://www.adiosapi.org. ...
Typing Local Control and State Using Flow Analysis
Typing Local Control and State Using Flow Analysis
by mitsue-stanley
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnam...
History of Computing – Modula-2
History of Computing – Modula-2
by alexa-scheidler
Prof. Steven A. . Demurjian. . Computer Science ...
History of Computing – Pascal
History of Computing – Pascal
by giovanna-bartolotta
Prof. Steven A. . Demurjian. . Computer Science ...
Chapter 3 Describing Syntax and Semantics
Chapter 3 Describing Syntax and Semantics
by briana-ranney
Chapter 3: Describing Syntax and Semantics. - Int...
Chapter 3 Describing Syntax and Semantics
Chapter 3 Describing Syntax and Semantics
by min-jolicoeur
Chapter 3 Topics. Introduction. The General Probl...
Objects and Events Week 5
Objects and Events Week 5
by myesha-ticknor
INFM 603. Muddiest Points. Commonly used function...
Trends in Programming Languages
Trends in Programming Languages
by conchita-marotz
Bart J.F. De . Smet. blogs.bartdesmet.net/bart. b...
Computer skills Pointer, record, storage, file system
Computer skills Pointer, record, storage, file system
by liane-varnes
Jakub Yaghob. Variable. Variable. Named storage l...
JavaScript and Ajax
JavaScript and Ajax
by ellena-manuel
JavaScript and Ajax (JavaScript Data Types) Week ...
Theory of Compilation Lecture 08 – Intermediate Representation
Theory of Compilation Lecture 08 – Intermediate Representation
by laxreffa
Eran. . Yahav. 1. Reference: . Dragon 6.2,6.3,6....
Modula-2 Prof. Steven A.
Modula-2 Prof. Steven A.
by numeroenergy
Demurjian. . Computer Science & Engineering D...
Processing Numeric Types
Processing Numeric Types
by anderson
Objectives. Be able to …. E. xplain the . differ...
Type soundness
Type soundness
by tawny-fly
In a more formal way. Proving Soundness of Type S...
Safe & Efficient Gradual
Safe & Efficient Gradual
by liane-varnes
Typing. for TypeScript. Aseem Rastogi. University...
HOL, Part 2
HOL, Part 2
by cheryl-pisano
Automating my own logic. 2. UNITY. Based on . UNI...
Sizzle
Sizzle
by pamella-moone
引擎研究. By zhangpeng12@baidu.com. 什么是...
implementationofnormalisationbyevaluation[ML75,BS91]foradependentlytyp
implementationofnormalisationbyevaluation[ML75,BS91]foradependentlytyp
by lindy-dunigan
Contexts (")"contextcontext`type (.);x:contex...
An Introduction to JavaScript
An Introduction to JavaScript
by jane-oiler
Godmar Back. JavaScript – The Basics. Standardi...
Attribute Grammars
Attribute Grammars
by pasty-toler
Prabhaker. . Mateti. ACK: Assembled from many s...
Forms
Forms
by briana-ranney
of doom. Come to the dark side. We have cookies.....
Sparking
Sparking
by phoebe-click
. with. . Scala. 让. Scala. 带你飞. Hangyu....
HOL, Part 2 Automating my own logic
HOL, Part 2 Automating my own logic
by phoebe-click
2. UNITY. Based on . UNITY, proposed by . Chandy....
Gi MethodsforOptimalScalinginR:ThePackagehomalsJandeLeeuwUniversit
Gi MethodsforOptimalScalinginR:ThePackagehomalsJandeLeeuwUniversit
by joyce
AbstractHomogeneityanalysiscombinestheideaofmaximi...
HOL, Part 2
HOL, Part 2
by tawny-fly
Automating my own logic. 2. UNITY. Based on . UNI...
Chapter 2, Part 1: An interpreter architecture for C-like languages
Chapter 2, Part 1: An interpreter architecture for C-like languages
by tatyana-admore
Xinming (Simon) Ou. CIS 505: Programming Language...
Chapter 2, Part 1: An interpreter architecture for C-like l
Chapter 2, Part 1: An interpreter architecture for C-like l
by karlyn-bohler
Xinming (Simon) Ou. CIS 505: Programming Language...
Integrating Yammer with SharePoint
Integrating Yammer with SharePoint
by olivia-moreira
Alan Marshall and Rebecca Gordon. @. pomealan. @...
Gradual typing Embedded securely in javascript
Gradual typing Embedded securely in javascript
by lois-ondreau
Aseem Rastogi. University of Maryland, College Pa...
PERTEMUAN KESEMBILAN
PERTEMUAN KESEMBILAN
by briana-ranney
OBJECT JAVASCRIPT. JavaScript . Sebagai. . Bahas...
Knock the jQuery out!
Knock the jQuery out!
by trish-goza
Bartosz Lenar. @. bartoszlenar. Knock. the . jQu...
Chapter 2, Part 1: An interpreter architecture for C-like l
Chapter 2, Part 1: An interpreter architecture for C-like l
by yoshiko-marsland
Xinming (Simon) Ou. CIS 505: Programming Language...
BIT116: Scripting
BIT116: Scripting
by kittie-lecroy
Lecture 05. Radio Buttons. 2. HTML . Radio button...